$\forall$$A$:Type, $f$:($A$$\rightarrow\mathbb{B}$), $x$:$A$. \{$f$\}$_{q}$($x$) $\in$ Dec($f$($x$) = ff)